#include <rtthread.h>
#include <psci.h>

#if defined(RT_AMP_MASTER) && defined(RT_USING_AMP)
int pull_up_cpu(void)
{
    rt_kprintf("cpu (%x) on startup address [0x%x]\n", AMP_SLAVE_CPU_ID, AMP_SLAVE_START_ADDRESS);
    rt_psci_cpu_on(AMP_SLAVE_CPU_ID, (rt_uint64_t)AMP_SLAVE_START_ADDRESS);

    return RT_EOK;
}
INIT_APP_EXPORT(pull_up_cpu);
#endif

